deferred class IFACE
feature 
    a() deferred end
end

class APP
feature 
    test(a : ARRAY[STRING])
    do
    end
    
    INIT
    local 
        a : IFACE
    do
       Current.test( <<5,a>> )
    end
end